Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Jean-Pierre Jouannaud And NotEspagne

List of bibliographic references

Number of relevant bibliographic references: 20.
Ident.Authors (with country if any)Title
003E53 Frédéric Blanqui [République populaire de Chine] ; Jean-Pierre Jouannaud [France] ; Pierre-Yves Strub [France]From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
004C96 Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Pierre-Yves Strub [France]Building Decision Procedures in the Calculus of Inductive Constructions
009A51 Adel Bouhoula ; Jean-Pierre Jouannaud ; José MeseguerSpecification and Proof in Membership Equational Logic
009D11 Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
00A482 Claude Kirchner [France] ; Hubert Comon ; Mehmet Dincbas ; Jean-Pierre JouannaudA Methodological View of Constraint Solving
00A586 Claude Kirchner ; Hubert Comon ; Mehmet Dincbas ; Jean-Pierre JouannaudA Methodological View of Constraint Solving
00A928 Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon]The Calculus of Algebraic Constructions
00AA59 Hubert Comon [France] ; Mehmet Dincbas [France] ; Jean-Pierre Jouannaud [France] ; Claude Kirchner [France]A Methodological View of Constraint Solving
00B950 Adel Bouhoula ; Jean-Pierre Jouannaud ; José MeseguerSpecification and Proof in Membership Equational Logic
00BA10 Adel Bouhoula ; Jean-Pierre JouannaudAutomata-Driven Automated Induction
00BB57 Jean-Pierre Jouannaud [France] ; Mitsuhiro Okada [Japon]Abstract data type systems
00BC14 Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [États-Unis, France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
00C721 Nachum Dershowitz [États-Unis] ; Jean-Pierre Jouannaud [France] ; Jan Willem Klop [Pays-Bas]Problems in rewriting III
00CC95 Jean-Pierre Jouannaud [France]Rewriting techniques for software engineering
00E348 Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Aristide Mégrelis [France]OBJ: Programming with equalities, subsorts, overloading and parameterization
00EA40 Joseph A. Goguen [États-Unis] ; Jean-Pierre Jouannaud [États-Unis, France] ; José Meseguer [États-Unis]Operational semantics for order-sorted algebra
00EC28 Jean-Pierre Jouannaud [France] ; Miguel MunozTermination of a Set of Rules Modulo a Set of Equations
00ED01 Jean-Pierre Jouannaud [France] ; Yves Kodratoff [France]Program Synthesis from Examples of Behavior
00ED14 Jean-Pierre JouannaudConfluent and coherent equational term rewriting systems application to proofs in abstract data types
00ED26 Jean-Pierre Jouannaud [France] ; Pierre Lescanne [États-Unis]On multiset orderings
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022